Irrational numbers proof